Combining of Circuits 1

نویسندگان

  • Yatsuka Nakamura
  • Grzegorz Bancerek
چکیده

Let S be a many sorted signature. A gate of S is an element of the operation symbols of S. Let A be a set and let f be a function. One can check that A 7−→ f is function yielding. Let f , g be non-empty functions. Observe that f +·g is non-empty. Let A, B be sets, let f be a many sorted set indexed by A, and let g be a many sorted set indexed by B. Then f +·g is a many sorted set indexed by A∪B. The following propositions are true:

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Broadband radial waveguide power amplifier using a spatial power combining technique

A broadband radial waveguide power amplifier has been designed and fabricated using a spatial power dividing/combining technique. A simple electromagnetic model of this power-dividing/combining structure has been developed. Analysis based on equivalent circuits gives the design formula for perfect power-dividing/ combining circuits. The measured small-signal gain of the eight-device power ampli...

متن کامل

Combining of Multi Cell Circuits

In this article we continue the investigations from [11] and [3] of verification of a circuit design. We concentrate on the combination of multi cell circuits from given cells (circuit modules). Namely, we formalize a design of the form 0 1 2 n and prove its stability. The formalization proposed consists in a series of schemes which allow to define multi cells circuits and prove their propertie...

متن کامل

Evolutionary Design Space Exploration for Median Circuits

This paper shows that it is possible to (1) discover novel implementations of median circuits using evolutionary techniques and (2) find out suitable median circuits in case that only limited resources are available for their implementation. These problems are approached using Cartesian genetic programming and an ordinary compare–swap encoding. Combining the proposed approaches a method is demo...

متن کامل

Design and Test of New Robust QCA Sequential Circuits

   One of the several promising new technologies for computing at nano-scale is quantum-dot cellular automata (QCA). In this paper, new designs for different QCA sequential circuits are presented. Using an efficient QCA D flip-flop (DFF) architecture, a 5-bit counter, a novel single edge generator (SEG) and a divide-by-2 counter are implemented. Also, some types of oscillators, a new edge-t...

متن کامل

Analysis of Planar Microstrip Circuits Using Three-Dimensional Transmission Line Matrix Method

The frequency-dependent characteristics of microstrip planar circuits have been previously analyzed using several full-wave approaches. All those methods directly give characteristic of the circuits frequency by frequency. Computation time becomes important if these planar circuits have to be studied over a very large bandwidth. The transmission line matrix (TLM) method presented in this paper ...

متن کامل

Modeling and Simulation of Substrate Noise in Mixed-Signal Circuits Applied to a Special VCO

The mixed-signal circuits with both analog and digital blocks on a single chip have wide applications in communication and RF circuits. Integrating these two blocks can cause serious problems especially in applications requiring fast digital circuits and high performance analog blocks. Fast switching in digital blocks generates a noise which can be introduced to analog circuits by the common su...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1999